#include <stdio.h>
int main()
{
	int x = 20;
	int y = 0;
	int z = 0;
	z = x;
	y = x;
	while (y >= 2)
	{
		z += y / 2;
		y = y / 2 + y % 2;
	}
	printf("%d", z);
	return 0;
}